Fixed-point combinator - PDFSEARCH.IO - Document Search Engine

Fixed-point combinator
Results: 121

#	Item
21	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science
22	Partial Evaluation of Maple ∗ Jacques Carette Department of Computing and Software Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2006-10-31 15:12:33 Functional languages Procedural programming languages Lambda calculus Cross-platform software Maple Maplesoft Partial evaluation Fixed-point combinator ALGOL 68 Software engineering Computing Computer programming
23	Under consideration for publication in J. Functional Programming 1 The Arrow Calculus Sam Lindley, Philip Wadler, and Jeremy Yallop Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2009-10-19 06:42:21 Lambda calculus Computability theory Fixed-point combinator Arrow Quiver Natural deduction Combinatory logic Theoretical computer science Mathematics Applied mathematics
24	An Implementation of Transparent Migration on Standard Scheme Eijiro Sumii University of Tokyo Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Lambda calculus Continuations Functional programming Control flow Data types Delimited continuation Call-with-current-continuation Continuation Fixed-point combinator Software engineering Computing Computer programming
25	Type Classes Without Types ∗ Ronald Garcia Andrew Lumsdaine Open Systems Lab Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Functional programming Type theory Data types Formal methods Monad Fixed-point combinator Map Type class Software engineering Computing Computer programming
26	BRICS Basic Research in Computer Science BRICS RS-97-1 Danvy & Goldberg: Partial Evaluation of the Euclidian Algorithm Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Theoretical computer science Recursion Computability theory Subroutines Fixed-point combinator Euclidean algorithm Church encoding Scheme Greatest common divisor Mathematics Applied mathematics Lambda calculus
27	Doc No: N3328=Date: Project: JTC1Reply to: Niklas Gustafsson Add to Reading List Source URL: www.open-std.org Language: English - Date: 2012-01-12 10:29:28 Subroutines C++ Functional Fixed-point combinator Eval Void type Function Concepts Parameter Software engineering Computer programming Computing
28	Lisp and Symbolic Computation, 2, ) © 1989 Kluwer Academic Publishers--Manufactured in The Netherlands. Integrating Logic and Functional Programming* HASSAN AIT-KACI ROGER NASR Add to Reading List Source URL: www.hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:30:34 Model theory Lambda calculus Predicate logic Automated theorem proving Logic programming Unification Combinatory logic Fixed-point combinator Interpretation Mathematics Mathematical logic Logic
29	A Bisimulation for Dynamic Sealing Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2004-10-25 16:21:02 Lambda calculus Computability theory Fixed-point combinator Π-calculus Valuation Combinatory logic Theoretical computer science Mathematics Applied mathematics
30	BRICS Basic Research in Computer Science BRICS RSO. Danvy: Online Type-Directed Partial Evaluation Online Type-Directed Partial Evaluation Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Applied mathematics Normalisation by evaluation Combinatory logic Church encoding Type theory Fixed-point combinator Lambda calculus Theoretical computer science Mathematical logic